MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:37 GMT
Content-Type: text/html
Content-Length: 15903


<title>HYBRID 95</title>
<h1>Workshop on Verification and Control of Hybrid Systems</h1>
Sponsored by <!WA0><!WA0><!WA0><!WA0><a href="http://dimacs.rutgers.edu">DIMACS</a> and 
<!WA1><!WA1><!WA1><!WA1><a href="http://www.math.rutgers.edu/~sontag/sycon/sycon.html">SYCON</a><br>
October 22-25, 1995<br>
New Brunswick, New Jersey
<ul>
<li><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#1">
Program</a>
<li><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#2">
Organizers, sponsors, and program committee</a>
<li><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#3">
Registration, travel, and accomodation information</a>
<li><!WA5><!WA5><!WA5><!WA5><a href="ftp://ftp.cs.cornell.edu/pub/tah/Hybrid95/registration_form">
Registration form</a>
</ul>
<h2><a name="1">Program</a></h2>
<h3><i>Sunday, October 22</i></h3>
<h4>Invited Lecture I</h4>
Chair: P. Varaiya, University of California at Berkeley, USA
<p>
8.30-9.30
S. Sastry, University of California at Berkeley, USA,
<i>A game theoretic viewpoint to verification problems for hybrid systems</i>
<p>
<h4>Invited Session I</h4>
Chair: R. Alur, AT&T Bell Labs, USA
<p>
10.00-10.30
Z. Manna, Stanford University, USA,
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Clocked transition systems</i>
<p>
10.30-11.00
A. Benveniste, INRIA-IRISA, France,
<i>Compositional and uniform modelling of hybrid systems</i>
<p>
11.00-11.30
V. Gupta, XEROX PARC, USA, 
R. Jagadeesan, Loyola University, USA, 
V.A. Saraswat, D. Bobrow, XEROX PARC, USA,
<i>Computing with continuous change</i>
<p>
11.30-12.00
A.K. Mackworth,  University of British Columbia, Canada,
<i>The evolution of hybrid intelligent systems</i>
<p>
<h4>Invited Session II</h4>
Chair: P. Ramadge, Princeton University, USA
<p>
1.30-2.00
H.J. Sussmann, Rutgers University, USA,
<i>Partitions of the state space, regular synthesis, and piecewise smooth 
feedback controls</i>
<p>
2.00-2.30
M.K. Ghosh, Indian Institute of Science, India, 
S.I. Marcus, University of Maryland at College Park, USA, 
A. Arapostathis, The University of Texas at Austin, USA,
<i>Controlled switching diffusions as hybrid processes</i>
<p>
2.30-3.00
W. Kohn, Sagent Corporation, USA, 
A. Nerode, Cornell University, USA, 
J.B. Remmel, University of California at San Diego, USA,
<i>Hybrid systems as Finsler manifolds II: convexification of constranit 
manifolds</i>
<p>
3.00-3.30
W. Kohn, Sagent Corporation, USA,
A. Nerode, Cornell University, USA,
<i>Automata comparison procedure for the verification of hybrid systems</i>
<p>
<h4>Contributed Session I</h4>
Chair: S. Sastry, University of California at Berkeley, USA
<p>
4.00-4.20
H.B. Weinberg, N. Lynch, MIT, USA,
<i>Verification of automated vehicle protection systems</i>
<p>
4.20-4.40
R. de Lemos, University of Newcastle, UK, 
J. Hall, University of York, UK,
<i>Extended RTL in the specification and verification of an industrial 
press</i>
<p>
4.40-5.00
M. Sintzoff, Universite Catholique de Louvain, Belgium,
<i>Invariance and termination in structured dynamical systems</i>
<p>
5.00-5.20
A. Deshpande, D. Godbole, A. Gollu, P. Varaiya, University of California 
at Berkeley, USA,
<i>Design and evaluation tools for automated highway systems</i>
<p>
5.20-5.40
J.-M. Godhavn, T. Lauvdal, O. Egeland, The Norwegian Institute of Technology, 
Norway,
<i>Hybrid control in sea traffic management systems</i>
<p>
5.40-6.00
J.A. Haddon, D.N. Godbole, A. Deshpande, J. Lygeros,  University of 
California at Berkeley, USA,
<i>Verification of hybrid systems: monotonicity in the AHS control system</i>
<h3><i>Monday, October 23</i></h3>
<h4>Invited Lecture II</h4>
Chair: J. Sifakis, VERIMAG, France
<p>
8.30-9.30
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Hybrid systems: the computer science view</i>
<p>
<h4>Invited Session III</h4>
Chair: A. Nerode, Cornell University, USA
<p>
10.00-10.30
S.K. Mitter, V. Borkar, V. Chandru, MIT, USA,
<i>A linear programming model of first-order logic</i>
<p>
10.30-11.00
Z. Artstein, The Weizmann Institute of Science, Israel,
<i>Stabilization with hybrid feedback</i>
<p>
11.00-11.30
M.S. Branicky, MIT, USA,
<i>General hybrid dynamical systems: modeling, analysis, and control</i>
<p>
11.30-12.00
T.I. Seidman, University of Maryland Baltimore County, USA,
<i>The residue of model reduction</i>
<h4>Invited Session IV</h4>
Chair: T.A. Henzinger, Cornell University, USA
<p>
1.30-2.00
Pei-Hsin Ho, INTEL, USA,
<i>Automatic analysis of hybrid systems</i>
<p>
2.00-2.30
N. Halbwachs, VERIMAG, France,
<i>Verification of linear hybrid systems by means of convex approximations</i>
<p>
2.30-3.00
R. Alur, R.P. Kurshan, AT&T Bell Labs, USA,
<i>Timing analysis with Cospan</i>
<p>
3.00-3.30
K.G. Larsen, Aalborg University, Denmark,
<i>UPPAAL: a tool suite for verification of real-time systems</i>
<h4>Contributed Session II</h4>
Chair: A. Benveniste, INRIA-IRISA, France
<p>
4.00-4.20
P.E. Caines, Y.-J. Wei, McGill University, Canada,
<i>On dynamically consistent hybrid systems</i>
<p>
4.20-4.40
V.D. Dimitriadis, N. Shah, C.C. Pantelides, Imperial College, UK,
<i>Optimal design of hybrid controllers for hybrid process systems</i>
<p>
4.40-5.00
L.E. Holloway, University of Kentucky at Lexington, USA,
<i>On-line fault monitoring of hybrid systems using templates with dynamic
time scaling</i>
<p>
5.00-5.20
X. Qiwen, H. Weidong, The United Nations University, Macau,
<i>Hierarchical design of a chemical concentration control system</i>
<p>
5.20-5.40
J.-E. Stromberg, S. Nadjm-Tehrani, Linkoping University, Sweden,
<i>Switched bond graphs as front-end to formal verification of hybrid 
systems</i>
<p>
5.40-6.00
W. Ji, H. Weidong, The United Nations University, Macau,
<i>Formal specification of stability in hybrid control systems</i>
<h4>7.00-10.00 Banquet</h4>
<h3><i>Tuesday, October 24</i></h3>
<h4>Invited Lecture III</h4>
Chair: E. Sontag, Rutgers University, USA
<p>
8.30-9.30
R. Brockett, Harvard University, USA,
<i>Resource allocation for real-time control</i>
<h4>Invited Session V</h4>
Chair: R.P. Kurshan, AT&T Bell Labs, USA
<p>
10.00-10.30
C. Heitmeyer, Naval Research Laboratory, USA,
<i>The role of continuous and discrete variables in analyzing requirements
specifications</i>
<p>
10.30-11.00
O. Maler, VERIMAG, France, 
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Asynchronous circuits and timed automata</i>
<p>
11.00-11.30
D. Sinclair, Dublin City University, Ireland,
<i>Validation of hybrid systems by co-simulation</i>
<p>
11.30-12.00
S. Narain, Bellcore, USA,
<i>Proofs from temporal hypotheses via symbolic simulation</i>
<h4>Invited Session VI</h4>
Chair: B. Krogh, Carnegie Mellon University, USA
<p>
1.30-2.00
P. Ramadge, Princeton University, USA,
<i>On-line decision rules in hybrid control systems</i>
<p>
2.00-2.30
V.K. Garg, D. Cofer, The University of Texas at Austin, USA,
<i>On controlling timed discrete event systems</i>
<p>
2.30-3.00
M.A. Shayman, University of Maryland at College Park, USA,
R. Kumar, University of Kentucky at Lexington, USA,
<i>Modeling and control of discrete event systems via process objects and 
masked composition</i>
<p>
3.00-3.30
R. Kumar, University of Kentucky at Lexington, USA,
M.A. Shayman, University of Maryland at College Park, USA,
<i>Supervisory control of real-time systems using prioritized 
synchronization</i>
<h4>Contributed Session III</h4>
Chair: J. Guckenheimer, Cornell University, USA
<p>
4.00-4.20
A. Puri, P. Varaiya, University of California at Berkeley, USA, 
V. Borkar, Indian Institute of Science, India,
<i>Epsilon-approximation of differential inclusions</i>
<p>     
4.20-4.40
T.A. Henzinger, H. Wong-Toi, Cornell University, USA,
<i>Linear phase-portrait approximations for nonlinear hybrid automata</i>
<p>
4.40-5.00
K. Cerans, J. Viksna, University of Latvia, Latvia,
<i>Deciding reachability for planar multi-polynomial systems</i>
<p>
5.00-5.20
I. Hoffmann, K.-U. Klatt, University of Dortmund, Germany,
<i>Modeling hybrid dynamical systems</i>
<p>
5.20-5.40
M. Kourjanski, P. Varaiya, University of California at Berkeley, USA,
<i>Stability of hybrid systems</i>
<p>
5.40-6.00
H.S. Park, Kangwon National University, Korea, 
Y.S. Kim, W.H. Kwon, Seoul National University, Korea,
<i>Model and stability of hybrid systems</i>
<h4>8.30-10:00 Panel Discussion</h4>
<i>Hybrid Systems Research: Achievements, Problems, and Goals</i>
<p>
Moderators: T.A. Henzinger, Cornell University, USA,
            E. Sontag, Rutgers University, USA
<p>
Panelists:  J. Guckenheimer, Cornell University, USA,
            R.P. Kurshan, AT&T Bell Labs, USA,
            A. Nerode, Cornell University, USA,
            M. Reed, Oxford University, UK,
            J. Sifakis, VERIMAG, France,
            P. Varaiya, University of California at Berkeley, USA
<h3><i>Wednesday, October 25</i></h3>
<h4>Invited Lecture IV</h4>
Chair: A. Pnueli, The Weizmann Institute of Science, Israel
<p>
8.30-9.30
N. Lynch, MIT, USA,
<i>Modelling and verification of automated transit systems, using timed 
automata, invariants and simulations</i>
<h4>Invited Session VII</h4>
Chair: H.J. Sussmann, Rutgers University, USA
<p>
10.00-10.30
C.G. Cassandras, University of Massachusetts at Amherst, USA,
<i>Optimal control problems in hybrid systems with some manufacturing 
applications</i>
<p>
10.30-11.00
P. Antsaklis, University of Notre Dame, USA,
<i>Hybrid control using Petri net feedback controllers</i>
<p>
11.00-11.30
B. Krogh, Carnegie Mellon University, USA,
J. Cury, Univ. Fed. Santa Catarina, Brazil,
T. Niinomi, Mitsubishi Heavy Industries, Japan,
<i>Control of hybrid systems using finite state approximations</i>
<p>
11.30-12.00
S. Bailey, R.L. Grossman, L. Gu, D. Hanley, University of Illinois at 
Chicago, USA,
<i>The analysis, design, and control of hybrid systems using persistent object 
stores</i>
<h4>Invited Session VIII</h4>
Chair: F.B. Schneider, Cornell University, USA
<p>
1.30-2.00
N. Lynch, MIT, USA, 
F. Vaandrager, CWI, The Netherlands,
<i>I/O automaton models for hybrid systems</i>
<p>
2.00-2.30
Z. Chaochen, Technical University of Denmark, Denmark,
<i>A formal theory of limits of durations</i>
<p>
2.30-3.00
A.P. Ravn, Technical University of Denmark, Denmark,
<i>Detecting interesting events </i>
<p>
3.00-3.30
A. Bouajjani, VERIMAG, France,
<i>On the verification of duration properties</i>
<h4>Contributed Session IV</h4>
Chair: M. Reed, Oxford University, UK
<p>
4.00-4.20
C. Bett, M. Lemmon, University of Notre Dame, USA,
<i>H-infinity gain schedule synthesis of supervisory hybrid control 
systems</i>
<p>
4.20-4.40
A. Savkin, R.J. Evans, University of Melbourne, Australia,
I.R. Petersen, Australian Defence Force Academy, Australia,
<i>A new approach to robust control of hybrid systems</i>
<p>
4.40-5.00
J. Raisch, S. O'Young, University of Stuttgart, Germany,
<i>A DES approach to control of hybrid dynamical systems</i>
<p>
5.00-5.20
K.G. Larsen, Aalborg University, Denmark, 
P. Pettersson, W. Yi, Uppsala University, Sweden,
<i>Diagnostic model-checking for real-time systems</i>
<p>
5.20-5.40
Y. Zhang, A.K. Mackworth, University of British Columbia, Canada,
<i>Specification and verification of dynamic systems by timed 
forall-automata</i>
<p>
5.40-6.00
K.G. Larsen, Aalborg University, Denmark, 
B. Steffen, University of Passau, Germany, 
C. Weise, Technical University of Aachen, Germany,
<i>Fischer's protocol revisited: a simple proof using modal constraints</i>
<h2><a name="2">Organizers, Sponsors, and Program Committee</a></h2>
This workshop is organized as a part of the DIMACS 1995-96 
<!WA6><!WA6><!WA6><!WA6><a href="http://dimacs.rutgers.edu/SpecialYears/1995_1996/index.html">
Special Year on Logic and Algorithms</a>.  
<!WA7><!WA7><!WA7><!WA7><a href="http://dimacs.rutgers.edu">DIMACS</a>
is a Science and Technology Center funded by 
the National Science Foundation, and the participating institutions are 
Rutgers University, Princeton University, AT&T Bell Laboratories, and
Bellcore.  The co-sponsor of this workshop is
<!WA8><!WA8><!WA8><!WA8><a href="http://www.math.rutgers.edu/~sontag/sycon/sycon.html">SYCON</a>, 
a Rutgers University Center dedicated to research in control theory and 
closely associated topics.
<h4>Organizing Committee</h4>
<ul>
  <!WA9><!WA9><!WA9><!WA9><a href="http://netlib.att.com/netlib/att/math/alur/alur.html">
  Rajeev Alur</a> (alur@research.att.com)<br>
  <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/People/tah/tah.html">
  Thomas A. Henzinger</a> (tah@cs.cornell.edu)<br>
  <!WA11><!WA11><!WA11><!WA11><a href="http://www.math.rutgers.edu/~sontag">
  Eduardo Sontag</a> (sontag@control.rutgers.edu)
</ul>
<h4>Program Committee</h4>
<ul>
  Rajeev Alur, co-chair (AT&T Bell Labs, USA)<br>
  Albert Benveniste (INRIA-IRISA, France)<br>
  John Guckenheimer (Cornell University, USA)<br>
  Thomas A. Henzinger, co-chair (Cornell University, USA)<br>
  Bruce Krogh (Carnegie Mellon University, USA)<br>
  Amir Pnueli (The Weizmann Institute of Science, Israel)<br>
  Peter Ramadge (Princeton University, USA)<br>
  Shankar Sastry (University of California, Berkeley, USA)<br>
  Fred B. Schneider (Cornell University, USA)<br>
  Eduardo Sontag, co-chair (Rutgers University, USA)<br>
  Hector Sussmann (Rutgers University, USA)<br>
  Joseph Sifakis (VERIMAG, France)
</ul>
<h4>DIMACS Special Year Organizing Committee</h4>
<ul>
  Eric Allender (allender@cs.rutgers.edu)<br>
  Robert Kurshan (k@research.att.com)<br>
  Moshe Vardi (vardi@cs.rice.edu)
</ul>
<h2><a name="3">Registration, Travel, and Accomodation Information</a></h2>
<h4>Registration</h4>
Please email the 
<!WA12><!WA12><!WA12><!WA12><a href="ftp://ftp.cs.cornell.edu/pub/tah/Hybrid95/registration_form">
registration form</a>
to Pat Toci at toci@dimacs.rutgers.edu (908-445-5930).  
There is no registration fee.
<h4>Travel and Hotel Information</h4>
It is recommended that participants arriving by plane fly into Newark
Airport.  Flying into Kennedy or La Guardia can add more than an hour
to the travel time to DIMACS.
<p>
DIMACS has successfully and quite pleasantly used the Comfort Inn and
the Holiday Inn, both in South Plainfield, New Jersey--they are next to 
each other.  The Comfort Inn gives participants of DIMACS workshops the 
special rate of $47.00 ($52.00 if two guests share a room), and the 
Holiday Inn gives DIMACS the special rate of $60.00 per room (includes 
a continental breakfast).  The Comfort Inn's phone number is 908-561-4488.  
The Holiday Inn's phone number is 908-753-5500.  
<p>
The Comfort Inn provides free van service to and from Newark Airport. 
You need to give them a 24-hour notice.  To travel between Newark Airport 
and the Holiday Inn, we recommend ICS Van Service, 800-225-4427 (for 
inside the United States) or 908-566-0795.  The rate is $23.00 per person.  
It must be booked in advance.  From the New York airports, participants 
may take the Grayline Air (bus) Shuttle (800-451-0455) to Newark Airport,
and then ICS Van service from there.
<p>
The first day of the workshop (October 22) will be held at the Holiday Inn.  
All workshop events on October 23-25 will take place at DIMACS, located in 
the CoRE Building of Rutgers University, Busch Campus, in Piscataway, New 
Jersey.  Both the Comfort Inn and the Holiday Inn provide free van service 
to and from DIMACS.  Participants arriving to DIMACS by car need a parking 
permit.  Parking permits will be available in the hotels and at the 
registration table.  Please be sure to park in Lot 64.
<p>
For further questions regarding local transportation and accomodations, or 
to obtain detailed driving directions to the hotels and to DIMACS, contact 
Pat Toci at toci@dimacs.rutgers.edu (908-445-5930).  
<h4>Full-time Students</h4>
The participation of graduate students at the workshop is strongly 
encouraged.  DIMACS provides funds to partially reimburse the cost of travel 
and accommodation for students.  If you are a full-time student and wish to 
be considered for travel support, please mark the registration form 
appropriately.  (The support level per person will depend on the number of 
student participants.)


